Type Inference of Turbo Pascal
نویسندگان
چکیده
Type inference is generally thought of as being an exclusive property of the functional programming paradigm. We argue that such a feature may be of significant benefit for also standard imperative languages. We present a working tool (available by WWW) providing these benefits for a full version of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotations are only partial or even absent. The resulting program has full type annotations, will be accepted by the standard Turbo Pascal compiler, and has polymorphic use of procedures resolved by means of code expansion.
منابع مشابه
A Framework forAd - Hoc Type Inference ( Extended
Languages based on variations of the lambda calculus are designed to permit the slick, uniication-based technique for type inference, which is by now a well-established discipline. Other widely used languages have been created less by design and more by coincidence and compromise. It seems therefore that the question of type inference for such languages could be infeasible or should at least pe...
متن کاملAutomated Debugging of Syntax Errors
Program debugging is a form of diagnosis that might be referred to as \routine." As such, debugging has similar properties as diagnosis and yet can be solved in a more straightforward manner than many diagnostic problems. Automating the debugging problem is of interest for several reasons. Debugging is a time-consuming process that tends to haunt many programmers from novices to experts. Yet th...
متن کاملPort of Pascal Fpga-logarithmic-unit Simulator to Simulink/rtw
Implementation of floating point algorithms in FPGA (Field Programmable Gate Arrays) creates an open problem. One of possible solutions is the representation of floating point numbers as an integer (fixed point) logarithm (32 bit) [1]. Basic arithmetical operations can be performed in the logarithm numbering system which is suitable for FPGA and ASIC implementation. Simulator of such system has...
متن کاملTowards some Organising Principles for Musical Program Auralisations
Early studies have shown that musical program auralisations can convey structural and run-time information about Turbo Pascal programs to listeners [3, 4, 10]. Auralisations were effected by mapping program events and structures to musical signature tunes, known as motifs. The design of the motifs was based around the taxonomical nature of the Turbo Pascal language constructs [3]. However, it b...
متن کاملA Non-Sinusoidal Reference Wave for Pwm Ac Drives
In this paper we propose a suitable reference wave for Pulse Width Modulation (PWM) AC Drives. Staircase reference waves whose levels are calculated to eliminate certain harmonics are studied and a certain staircase reference waveform with L levels is constructed. When L is made very large in limit, this staircase waveform approaches a continuous one which is called Quasine (Quasi + Sine). This...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995